CINECA IRIS Institutional Research Information System

Sfoglia per Serie  LECTURE NOTES IN COMPUTER SCIENCE

Opzioni
Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mostrati risultati da 146 a 165 di 323
Titolo Data di pubblicazione Autore(i) File
Labelled Sequent Calculi for Conditional Logics: Conditional Excluded Middle and Conditional Modus Ponens Finally Together 2023 Olivetti N.; Panic N.; Pozzato G.L.
A Lambda Calculus of Incomplete Objects 1996 V. Bono;M. Bugliesi;L. Liquori
Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface 2005 Ardissono, Liliana; Brna, Paul; Mitrovic, Tanja
LIBERO: A framework for autonomic management of multiple non-functional concerns 2011 Marco Aldinucci; Marco Danelutto; Peter Kilpatrick; Vamis Xhagjika
Linking Ontological Classes and Archaeological Forms 2020 Lombardo, Vincenzo; Damiano, Rossana; Karatas, Tugce; Mattutino, Claudio
A local criterion for polynomial-time stratified computations 2010 Luca Roversi ; Luca Vercelli
A Logic-Based Tool for Dynamic Generation and Classification of Musical Content 2023 Lieto A.; Pozzato G.L.; Valese A.; Zito M.
Management in distributed systems: a semi-formal approach 2007 Marco Aldinucci; Marco Danelutto; Peter Kilpatrick
Managing Adaptivity in Parallel Systems 2013 Aldinucci, Marco; Danelutto, Marco; Kilpatrick, Peter; Montangero, Carlo; Semini, Laura
Matching Constraints for the Lambda Calculus of Objects 1997 V. Bono;M. Bugliesi
Mathmelodies: inclusive design of a didactic game to practice mathematics 2014 Andrea Gerino, Nicolo Alabastro, Cristian Bernareggi, Dragan Ahmetovic, Sergio Mascetti
Matrix pseudoinversion for image neural processing 2012 R. Cancelliere; M. Gai; T. Artières; P. Gallinari
Measuring the Inspiration Rate of Topics in Bibliographic Networks 2017 Bioglio, Livio; Rho, Valentina; Pensa, Ruggero G.
Measuring the Performance of iCloud Private Relay 2023 Trevisan, M; Drago, I; Schmitt, P; Bronzino, F
MetaData Retrieval: A Software Prototype for the Annotation of Maps with Social Metadata 2011 Meo, Rosa; Roglia, Elena; Ponassi, E.
A methodology for biologically relevant pattern discovery from gene expression data 2004 R. G. Pensa; J. Besson; J-F. Boulicaut
Methods of increasing modelling power for safety analysis, applied to a turbine digital control system 2002 A.BOBBIO; E.CIANCAMERLA; G. FRANCESCHINIS; R. GAETA; M.MINICHINO; L. PORTINALE
Mobile Computing and Artificial Intelligence for Diet Management 2015 Mazzei, Alessandro; Anselma, Luca; De Michieli, Franco; Bolioli, Andrea; Casu, Matteo; Gerbrandy, Jelle; Lunardi, Ivan
Model Checking Probabilistic Timed Automata with One or Two Clocks 2007 M. JURDZINSKI; F. LAROUSSINIE; J. SPROSTON
Modeling Long-Running Transactions with Communicating Hierarchical Timed Automata 2006 R. LANOTTE; A. MAGGIOLO-SCHETTINI; P. MILAZZO; A. TROINA
Mostrati risultati da 146 a 165 di 323
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile